Issue2386-b.agda:7,1-28
Wrong type of constructor of BUILTIN EQUALITY
when checking the pragma BUILTIN EQUALITY Eq
